; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sext i64 8349898219520 to i128
  %".5" = sext i64 %"SymVar_0" to i128
  %".6" = mul i128 %".4", %".5"
  %".7" = trunc i128 %".6" to i64
  %".8" = zext i64 %".7" to i128
  %".9" = zext i64 0 to i128
  %".10" = shl i128 %".9", 64
  %".11" = or i128 %".8", %".10"
  %".12" = zext i8 7 to i64
  %".13" = zext i8 0 to i64
  %".14" = shl i64 %".13", 8
  %".15" = or i64 %".12", %".14"
  %".16" = zext i8 0 to i64
  %".17" = shl i64 %".16", 16
  %".18" = or i64 %".15", %".17"
  %".19" = zext i8 0 to i64
  %".20" = shl i64 %".19", 24
  %".21" = or i64 %".18", %".20"
  %".22" = zext i8 0 to i64
  %".23" = shl i64 %".22", 32
  %".24" = or i64 %".21", %".23"
  %".25" = zext i8 0 to i64
  %".26" = shl i64 %".25", 40
  %".27" = or i64 %".24", %".26"
  %".28" = zext i8 0 to i64
  %".29" = shl i64 %".28", 48
  %".30" = or i64 %".27", %".29"
  %".31" = zext i8 0 to i64
  %".32" = shl i64 %".31", 56
  %".33" = or i64 %".30", %".32"
  %".34" = zext i64 %".33" to i128
  %".35" = udiv i128 %".11", %".34"
  %".36" = trunc i128 %".35" to i64
  %".37" = or i64 %".7", %"SymVar_0"
  %".38" = add i64 %".37", %"SymVar_0"
  %".39" = zext i8 7 to i64
  %".40" = and i64 %".39", 63
  %".41" = shl i64 %".7", %".40"
  %".42" = add i64 %".41", %".37"
  %".43" = sext i64 %".42" to i128
  %".44" = add i64 327625093, %"SymVar_0"
  %".45" = sext i64 %".44" to i128
  %".46" = mul i128 %".43", %".45"
  %".47" = trunc i128 %".46" to i64
  %".48" = add i64 %".38", %".47"
  %".49" = sub i64 %".36", %".48"
  %".50" = xor i64 %".48", %".49"
  %".51" = xor i64 %".36", %".50"
  %".52" = xor i64 %".36", %".49"
  %".53" = xor i64 %".36", %".48"
  %".54" = and i64 %".52", %".53"
  %".55" = xor i64 %".51", %".54"
  %".56" = lshr i64 %".55", 63
  %".57" = trunc i64 %".56" to i1
  %".58" = xor i1 %".57", -1
  %".59" = icmp eq i64 %".49", 0
  br i1 %".59", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".63" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".64" = xor i1 %".63", -1
  %".65" = and i1 %".58", %".64"
  %".66" = icmp eq i1 %".65", 1
  br i1 %".66", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".70" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".71" = zext i8 %".70" to i64
  %".72" = lshr i64 %".48", 8
  %".73" = trunc i64 %".72" to i56
  %".74" = zext i56 %".73" to i64
  %".75" = shl i64 %".74", 8
  %".76" = or i64 %".71", %".75"
  %".77" = trunc i64 %".76" to i8
  %".78" = zext i8 %".77" to i32
  %".79" = zext i32 %".78" to i64
  %".80" = trunc i64 %".79" to i32
  %".81" = zext i32 %".80" to i64
  %".82" = trunc i64 %".81" to i32
  %".83" = trunc i64 %".81" to i32
  %".84" = and i32 %".82", %".83"
  %".85" = icmp eq i32 %".84", 0
  br i1 %".85", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".89" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".90" = icmp eq i1 %".89", 1
  br i1 %".90", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".94" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".94", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".96" = sext i64 8349898219520 to i128
  %".97" = sext i64 %"SymVar_0" to i128
  %".98" = mul i128 %".96", %".97"
  %".99" = trunc i128 %".98" to i64
  %".100" = zext i8 7 to i64
  %".101" = and i64 %".100", 63
  %".102" = shl i64 %".99", %".101"
  %".103" = or i64 %".99", %"SymVar_0"
  %".104" = add i64 %".102", %".103"
  %".105" = sext i64 %".104" to i128
  %".106" = add i64 327625093, %"SymVar_0"
  %".107" = sext i64 %".106" to i128
  %".108" = mul i128 %".105", %".107"
  %".109" = trunc i128 %".108" to i64
  %".110" = zext i8 3 to i64
  %".111" = and i64 %".110", 63
  %".112" = lshr i64 %".99", %".111"
  %".113" = and i64 15, %".112"
  %".114" = or i64 1, %".113"
  %".115" = sub i64 64, %".114"
  %".116" = trunc i64 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i8
  %".119" = zext i8 %".118" to i64
  %".120" = and i64 %".119", 63
  %".121" = shl i64 %".109", %".120"
  %".122" = zext i8 3 to i64
  %".123" = and i64 %".122", 63
  %".124" = lshr i64 %".99", %".123"
  %".125" = and i64 15, %".124"
  %".126" = or i64 1, %".125"
  %".127" = trunc i64 %".126" to i32
  %".128" = zext i32 %".127" to i64
  %".129" = trunc i64 %".128" to i8
  %".130" = zext i8 %".129" to i64
  %".131" = and i64 %".130", 63
  %".132" = lshr i64 %".109", %".131"
  %".133" = or i64 %".121", %".132"
  %".134" = and i64 7, %".133"
  %".135" = zext i8 2 to i64
  %".136" = and i64 %".135", 63
  %".137" = shl i64 %".134", %".136"
  %".138" = and i64 7, %".109"
  %".139" = zext i8 2 to i64
  %".140" = and i64 %".139", 63
  %".141" = shl i64 %".138", %".140"
  %".142" = or i64 %".141", %".99"
  %".143" = and i64 7, %".142"
  %".144" = zext i8 2 to i64
  %".145" = and i64 %".144", 63
  %".146" = shl i64 %".143", %".145"
  %".147" = or i64 %".146", %".142"
  %".148" = or i64 %".137", %".147"
  %".149" = and i64 7, %".148"
  %".150" = zext i8 2 to i64
  %".151" = and i64 %".150", 63
  %".152" = shl i64 %".149", %".151"
  %".153" = and i64 15, %".109"
  %".154" = or i64 1, %".153"
  %".155" = sub i64 64, %".154"
  %".156" = trunc i64 %".155" to i32
  %".157" = zext i32 %".156" to i64
  %".158" = trunc i64 %".157" to i8
  %".159" = zext i8 %".158" to i64
  %".160" = and i64 %".159", 63
  %".161" = shl i64 %".99", %".160"
  %".162" = and i64 15, %".109"
  %".163" = or i64 1, %".162"
  %".164" = trunc i64 %".163" to i32
  %".165" = zext i32 %".164" to i64
  %".166" = trunc i64 %".165" to i8
  %".167" = zext i8 %".166" to i64
  %".168" = and i64 %".167", 63
  %".169" = lshr i64 %".99", %".168"
  %".170" = or i64 %".161", %".169"
  %".171" = or i64 %".152", %".170"
  %".172" = add i64 %".171", %".148"
  %".173" = and i64 15, %".133"
  %".174" = or i64 1, %".173"
  %".175" = sub i64 64, %".174"
  %".176" = trunc i64 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i8
  %".179" = zext i8 %".178" to i64
  %".180" = and i64 %".179", 63
  %".181" = shl i64 %".170", %".180"
  %".182" = and i64 15, %".133"
  %".183" = or i64 1, %".182"
  %".184" = trunc i64 %".183" to i32
  %".185" = zext i32 %".184" to i64
  %".186" = trunc i64 %".185" to i8
  %".187" = zext i8 %".186" to i64
  %".188" = and i64 %".187", 63
  %".189" = lshr i64 %".170", %".188"
  %".190" = or i64 %".181", %".189"
  %".191" = zext i8 3 to i64
  %".192" = and i64 %".191", 63
  %".193" = lshr i64 %".148", %".192"
  %".194" = and i64 15, %".193"
  %".195" = or i64 1, %".194"
  %".196" = sub i64 64, %".195"
  %".197" = trunc i64 %".196" to i32
  %".198" = zext i32 %".197" to i64
  %".199" = trunc i64 %".198" to i8
  %".200" = zext i8 %".199" to i64
  %".201" = and i64 %".200", 63
  %".202" = shl i64 %".133", %".201"
  %".203" = zext i8 3 to i64
  %".204" = and i64 %".203", 63
  %".205" = lshr i64 %".148", %".204"
  %".206" = and i64 15, %".205"
  %".207" = or i64 1, %".206"
  %".208" = trunc i64 %".207" to i32
  %".209" = zext i32 %".208" to i64
  %".210" = trunc i64 %".209" to i8
  %".211" = zext i8 %".210" to i64
  %".212" = and i64 %".211", 63
  %".213" = lshr i64 %".133", %".212"
  %".214" = or i64 %".202", %".213"
  %".215" = and i64 63, %".214"
  %".216" = zext i8 4 to i64
  %".217" = and i64 %".216", 63
  %".218" = shl i64 %".215", %".217"
  %".219" = or i64 %".218", %".133"
  %".220" = zext i8 49 to i64
  %".221" = and i64 %".220", 63
  %".222" = lshr i64 %".219", %".221"
  %".223" = zext i8 15 to i64
  %".224" = and i64 %".223", 63
  %".225" = shl i64 %".219", %".224"
  %".226" = or i64 %".222", %".225"
  %".227" = zext i8 1 to i64
  %".228" = and i64 %".227", 63
  %".229" = lshr i64 %".226", %".228"
  %".230" = and i64 15, %".229"
  %".231" = or i64 1, %".230"
  %".232" = sub i64 64, %".231"
  %".233" = trunc i64 %".232" to i32
  %".234" = zext i32 %".233" to i64
  %".235" = trunc i64 %".234" to i8
  %".236" = zext i8 %".235" to i64
  %".237" = and i64 %".236", 63
  %".238" = shl i64 %".190", %".237"
  %".239" = zext i8 49 to i64
  %".240" = and i64 %".239", 63
  %".241" = lshr i64 %".219", %".240"
  %".242" = zext i8 15 to i64
  %".243" = and i64 %".242", 63
  %".244" = shl i64 %".219", %".243"
  %".245" = or i64 %".241", %".244"
  %".246" = zext i8 1 to i64
  %".247" = and i64 %".246", 63
  %".248" = lshr i64 %".245", %".247"
  %".249" = and i64 15, %".248"
  %".250" = or i64 1, %".249"
  %".251" = trunc i64 %".250" to i32
  %".252" = zext i32 %".251" to i64
  %".253" = trunc i64 %".252" to i8
  %".254" = zext i8 %".253" to i64
  %".255" = and i64 %".254", 63
  %".256" = lshr i64 %".190", %".255"
  %".257" = or i64 %".238", %".256"
  %".258" = zext i8 1 to i64
  %".259" = and i64 %".258", 63
  %".260" = lshr i64 %".257", %".259"
  %".261" = and i64 15, %".260"
  %".262" = or i64 1, %".261"
  %".263" = sub i64 64, %".262"
  %".264" = trunc i64 %".263" to i32
  %".265" = zext i32 %".264" to i64
  %".266" = trunc i64 %".265" to i8
  %".267" = zext i8 %".266" to i64
  %".268" = and i64 %".267", 63
  %".269" = lshr i64 %".172", %".268"
  %".270" = add i64 %".171", %".148"
  %".271" = zext i8 49 to i64
  %".272" = and i64 %".271", 63
  %".273" = lshr i64 %".219", %".272"
  %".274" = zext i8 15 to i64
  %".275" = and i64 %".274", 63
  %".276" = shl i64 %".219", %".275"
  %".277" = or i64 %".273", %".276"
  %".278" = zext i8 1 to i64
  %".279" = and i64 %".278", 63
  %".280" = lshr i64 %".277", %".279"
  %".281" = and i64 15, %".280"
  %".282" = or i64 1, %".281"
  %".283" = sub i64 64, %".282"
  %".284" = trunc i64 %".283" to i32
  %".285" = zext i32 %".284" to i64
  %".286" = trunc i64 %".285" to i8
  %".287" = zext i8 %".286" to i64
  %".288" = and i64 %".287", 63
  %".289" = shl i64 %".190", %".288"
  %".290" = zext i8 49 to i64
  %".291" = and i64 %".290", 63
  %".292" = lshr i64 %".219", %".291"
  %".293" = zext i8 15 to i64
  %".294" = and i64 %".293", 63
  %".295" = shl i64 %".219", %".294"
  %".296" = or i64 %".292", %".295"
  %".297" = zext i8 1 to i64
  %".298" = and i64 %".297", 63
  %".299" = lshr i64 %".296", %".298"
  %".300" = and i64 15, %".299"
  %".301" = or i64 1, %".300"
  %".302" = trunc i64 %".301" to i32
  %".303" = zext i32 %".302" to i64
  %".304" = trunc i64 %".303" to i8
  %".305" = zext i8 %".304" to i64
  %".306" = and i64 %".305", 63
  %".307" = lshr i64 %".190", %".306"
  %".308" = or i64 %".289", %".307"
  %".309" = zext i8 1 to i64
  %".310" = and i64 %".309", 63
  %".311" = lshr i64 %".308", %".310"
  %".312" = and i64 15, %".311"
  %".313" = or i64 1, %".312"
  %".314" = trunc i64 %".313" to i32
  %".315" = zext i32 %".314" to i64
  %".316" = trunc i64 %".315" to i8
  %".317" = zext i8 %".316" to i64
  %".318" = and i64 %".317", 63
  %".319" = shl i64 %".270", %".318"
  %".320" = or i64 %".269", %".319"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".322" = sext i64 8349898219520 to i128
  %".323" = sext i64 %"SymVar_0" to i128
  %".324" = mul i128 %".322", %".323"
  %".325" = trunc i128 %".324" to i64
  %".326" = or i64 %".325", %"SymVar_0"
  %".327" = add i64 %".326", %"SymVar_0"
  %".328" = and i64 7, %".327"
  %".329" = zext i8 2 to i64
  %".330" = and i64 %".329", 63
  %".331" = shl i64 %".328", %".330"
  %".332" = zext i8 7 to i64
  %".333" = and i64 %".332", 63
  %".334" = shl i64 %".325", %".333"
  %".335" = add i64 %".334", %".326"
  %".336" = sext i64 %".335" to i128
  %".337" = add i64 327625093, %"SymVar_0"
  %".338" = sext i64 %".337" to i128
  %".339" = mul i128 %".336", %".338"
  %".340" = trunc i128 %".339" to i64
  %".341" = and i64 7, %".340"
  %".342" = zext i8 2 to i64
  %".343" = and i64 %".342", 63
  %".344" = shl i64 %".341", %".343"
  %".345" = add i64 %".327", %".327"
  %".346" = or i64 %".344", %".345"
  %".347" = and i64 7, %".346"
  %".348" = zext i8 2 to i64
  %".349" = and i64 %".348", 63
  %".350" = shl i64 %".347", %".349"
  %".351" = or i64 %".350", %".346"
  %".352" = or i64 %".331", %".351"
  %".353" = and i64 7, %".352"
  %".354" = zext i8 2 to i64
  %".355" = and i64 %".354", 63
  %".356" = shl i64 %".353", %".355"
  %".357" = and i64 15, %".340"
  %".358" = or i64 1, %".357"
  %".359" = sub i64 64, %".358"
  %".360" = trunc i64 %".359" to i32
  %".361" = zext i32 %".360" to i64
  %".362" = trunc i64 %".361" to i8
  %".363" = zext i8 %".362" to i64
  %".364" = and i64 %".363", 63
  %".365" = shl i64 %".345", %".364"
  %".366" = and i64 15, %".340"
  %".367" = or i64 1, %".366"
  %".368" = trunc i64 %".367" to i32
  %".369" = zext i32 %".368" to i64
  %".370" = trunc i64 %".369" to i8
  %".371" = zext i8 %".370" to i64
  %".372" = and i64 %".371", 63
  %".373" = lshr i64 %".345", %".372"
  %".374" = or i64 %".365", %".373"
  %".375" = or i64 %".356", %".374"
  %".376" = add i64 %".375", %".352"
  %".377" = and i64 15, %".327"
  %".378" = or i64 1, %".377"
  %".379" = sub i64 64, %".378"
  %".380" = trunc i64 %".379" to i32
  %".381" = zext i32 %".380" to i64
  %".382" = trunc i64 %".381" to i8
  %".383" = zext i8 %".382" to i64
  %".384" = and i64 %".383", 63
  %".385" = shl i64 %".374", %".384"
  %".386" = and i64 15, %".327"
  %".387" = or i64 1, %".386"
  %".388" = trunc i64 %".387" to i32
  %".389" = zext i32 %".388" to i64
  %".390" = trunc i64 %".389" to i8
  %".391" = zext i8 %".390" to i64
  %".392" = and i64 %".391", 63
  %".393" = lshr i64 %".374", %".392"
  %".394" = or i64 %".385", %".393"
  %".395" = zext i8 3 to i64
  %".396" = and i64 %".395", 63
  %".397" = lshr i64 %".352", %".396"
  %".398" = and i64 15, %".397"
  %".399" = or i64 1, %".398"
  %".400" = sub i64 64, %".399"
  %".401" = trunc i64 %".400" to i32
  %".402" = zext i32 %".401" to i64
  %".403" = trunc i64 %".402" to i8
  %".404" = zext i8 %".403" to i64
  %".405" = and i64 %".404", 63
  %".406" = shl i64 %".327", %".405"
  %".407" = zext i8 3 to i64
  %".408" = and i64 %".407", 63
  %".409" = lshr i64 %".352", %".408"
  %".410" = and i64 15, %".409"
  %".411" = or i64 1, %".410"
  %".412" = trunc i64 %".411" to i32
  %".413" = zext i32 %".412" to i64
  %".414" = trunc i64 %".413" to i8
  %".415" = zext i8 %".414" to i64
  %".416" = and i64 %".415", 63
  %".417" = lshr i64 %".327", %".416"
  %".418" = or i64 %".406", %".417"
  %".419" = and i64 63, %".418"
  %".420" = zext i8 4 to i64
  %".421" = and i64 %".420", 63
  %".422" = shl i64 %".419", %".421"
  %".423" = or i64 %".422", %".327"
  %".424" = zext i8 49 to i64
  %".425" = and i64 %".424", 63
  %".426" = lshr i64 %".423", %".425"
  %".427" = zext i8 15 to i64
  %".428" = and i64 %".427", 63
  %".429" = shl i64 %".423", %".428"
  %".430" = or i64 %".426", %".429"
  %".431" = zext i8 1 to i64
  %".432" = and i64 %".431", 63
  %".433" = lshr i64 %".430", %".432"
  %".434" = and i64 15, %".433"
  %".435" = or i64 1, %".434"
  %".436" = sub i64 64, %".435"
  %".437" = trunc i64 %".436" to i32
  %".438" = zext i32 %".437" to i64
  %".439" = trunc i64 %".438" to i8
  %".440" = zext i8 %".439" to i64
  %".441" = and i64 %".440", 63
  %".442" = shl i64 %".394", %".441"
  %".443" = zext i8 49 to i64
  %".444" = and i64 %".443", 63
  %".445" = lshr i64 %".423", %".444"
  %".446" = zext i8 15 to i64
  %".447" = and i64 %".446", 63
  %".448" = shl i64 %".423", %".447"
  %".449" = or i64 %".445", %".448"
  %".450" = zext i8 1 to i64
  %".451" = and i64 %".450", 63
  %".452" = lshr i64 %".449", %".451"
  %".453" = and i64 15, %".452"
  %".454" = or i64 1, %".453"
  %".455" = trunc i64 %".454" to i32
  %".456" = zext i32 %".455" to i64
  %".457" = trunc i64 %".456" to i8
  %".458" = zext i8 %".457" to i64
  %".459" = and i64 %".458", 63
  %".460" = lshr i64 %".394", %".459"
  %".461" = or i64 %".442", %".460"
  %".462" = zext i8 1 to i64
  %".463" = and i64 %".462", 63
  %".464" = lshr i64 %".461", %".463"
  %".465" = and i64 15, %".464"
  %".466" = or i64 1, %".465"
  %".467" = sub i64 64, %".466"
  %".468" = trunc i64 %".467" to i32
  %".469" = zext i32 %".468" to i64
  %".470" = trunc i64 %".469" to i8
  %".471" = zext i8 %".470" to i64
  %".472" = and i64 %".471", 63
  %".473" = lshr i64 %".376", %".472"
  %".474" = add i64 %".375", %".352"
  %".475" = zext i8 49 to i64
  %".476" = and i64 %".475", 63
  %".477" = lshr i64 %".423", %".476"
  %".478" = zext i8 15 to i64
  %".479" = and i64 %".478", 63
  %".480" = shl i64 %".423", %".479"
  %".481" = or i64 %".477", %".480"
  %".482" = zext i8 1 to i64
  %".483" = and i64 %".482", 63
  %".484" = lshr i64 %".481", %".483"
  %".485" = and i64 15, %".484"
  %".486" = or i64 1, %".485"
  %".487" = sub i64 64, %".486"
  %".488" = trunc i64 %".487" to i32
  %".489" = zext i32 %".488" to i64
  %".490" = trunc i64 %".489" to i8
  %".491" = zext i8 %".490" to i64
  %".492" = and i64 %".491", 63
  %".493" = shl i64 %".394", %".492"
  %".494" = zext i8 49 to i64
  %".495" = and i64 %".494", 63
  %".496" = lshr i64 %".423", %".495"
  %".497" = zext i8 15 to i64
  %".498" = and i64 %".497", 63
  %".499" = shl i64 %".423", %".498"
  %".500" = or i64 %".496", %".499"
  %".501" = zext i8 1 to i64
  %".502" = and i64 %".501", 63
  %".503" = lshr i64 %".500", %".502"
  %".504" = and i64 15, %".503"
  %".505" = or i64 1, %".504"
  %".506" = trunc i64 %".505" to i32
  %".507" = zext i32 %".506" to i64
  %".508" = trunc i64 %".507" to i8
  %".509" = zext i8 %".508" to i64
  %".510" = and i64 %".509", 63
  %".511" = lshr i64 %".394", %".510"
  %".512" = or i64 %".493", %".511"
  %".513" = zext i8 1 to i64
  %".514" = and i64 %".513", 63
  %".515" = lshr i64 %".512", %".514"
  %".516" = and i64 15, %".515"
  %".517" = or i64 1, %".516"
  %".518" = trunc i64 %".517" to i32
  %".519" = zext i32 %".518" to i64
  %".520" = trunc i64 %".519" to i8
  %".521" = zext i8 %".520" to i64
  %".522" = and i64 %".521", 63
  %".523" = shl i64 %".474", %".522"
  %".524" = or i64 %".473", %".523"
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".526" = phi i64 [%".320", %".3.endif.endif.endif.endif.if"], [%".524", %".3.endif.endif.endif.endif.else"]
  ret i64 %".526"
}
